mathematical logics

【数学】 数理逻辑[亦作 symbolic logic]